$\forall$$T$:Type, $P$:($T$$\rightarrow$Prop), $R_{1}$, $R_{2}$:($T$$\rightarrow$$T$$\rightarrow$Prop).
\\[0ex]$R_{1}$ preserves $P$ $\Rightarrow$ $R_{2}$ preserves $P$ $\Rightarrow$ $R_{1}$ $\vee$ $R_{2}$ preserves $P$